Proof planning for maintainable configuration systems
نویسندگان
چکیده
منابع مشابه
Proof planning for maintainable configuration systems
Configuration is a complex task generally involving varying measures of constraint satisfaction, optimization, and the management of soft constraints. Although many successful systems have been developed, these are often difficult to maintain and to generalize in rapidly changing domains. In this paper we consider building intelligent knowledge based systems with maintainability well to the for...
متن کاملProof Planning & Configuration
This paper presents two configuration problems: that of configuring computer hardware to meet a given specification, and an “engineer-and-made-to-order” problem in the domain of breathing air compressor production. We demonstrate how the different kinds of knowledge needed to solve problems in each domain (which we label factual, heuristic, and strategic) was captured for a proof planning syste...
متن کاملProof Planning and Industrial Configuration
The problem of configuration is a complex industrial issue. It has been shown in the past that considerable amounts of labour were spent on problems connected with manufacturing based decisions. Planning and scheduling, design and configuration, logistics and resource management are representative examples. In the case where the complexity of products to be manufactured is getting more flexible...
متن کاملAn Architecture for Proof Planning Systems
This paper presents a generic architecture for proof planning systems in terms of an interaction between a customisable proof module and search module. These refer to both global and local information contained in reasoning states.
متن کاملExplainable (and Maintainable) Expert Systems
Principled development techniques could greatly enhance the understandability of expert systems for both users and system developers. Current systems have limited explanatory capabilities and present maintenance problems because of a failure to explicitly represent the knowledge and reasoning that went into their design. This paper describes a paradigm for constructing expert systems which atte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence for Engineering Design, Analysis and Manufacturing
سال: 1998
ISSN: 0890-0604,1469-1760
DOI: 10.1017/s0890060498124071